/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.model.game;

import chameleon.model.NuGatStructure.fsm.GameBddFsm;

/**
 * This decorator contains a pointer to the GameBddFsmDecorator C structure and can 
 * provide the BddFsm C structure for player {1|2}
 *
 *
 * @author simon
 */
public class GameBddFsmDecorator extends GameDecorator {

    private GameBddFsm gameBddFsm_;

    public GameBddFsmDecorator(GameBddFsm gameBddFsm) {
        super(Tag.GAME_BDD_FSM);
        gameBddFsm_ = gameBddFsm;
    }
    
    public GameBddFsm getGameBddFsm(){
        return gameBddFsm_;
    }

    
}
